(0 17 15)(1 7 4)(2 13 3)(5 20 18)(6 10 8)(9 16 14)(11 19 12)
ALLOWS (11/8)-SEQUENCE
1: (2 11 19)
(0 17 15)(1 7 4)(2 12 11 13 3)(5 20 18)(6 10 8)(9 16 14)(19)
2: (3 11 13)
(0 17 15)(1 7 4)(2 12 11)(3)(5 20 18)(6 10 8)(9 16 14)(13)(19)
3: (5 20 18)
(0 17 15)(1 7 4)(2 12 11)(3)(5)(6 10 8)(9 16 14)(13)(18)(19)(20)
4: (1 7 4)
(0 17 15)(1)(2 12 11)(3)(4)(5)(6 10 8)(7)(9 16 14)(13)(18)(19)(20)